Two-Way Visibly Pushdown Automata and Transducers

Automata-logic connections are pillars of the theory of regular languages. Such connections are harder to obtain for transducers, but important results have been obtained recently for word-to-word transformations, showing that the three following models are equivalent: deterministic two-way transducers, monadic second-order (MSO) transducers, and deterministic one-way automata equipped with a finite number of registers. Nested words are words with a nesting structure, allowing to model unranked trees as their depth-first-search linearisations. In this paper, we consider transformations from nested words to words, allowing in particular to produce unranked trees if output words have a nesting structure. The model of visibly pushdown transducers allows to describe such transformations, and we propose a simple deterministic extension of this model with two-way moves that has the following properties: i) it is a simple computational model, that naturally has a good evaluation complexity; ii) it is expressive: it subsumes nested word-to-word MSO transducers, and the exact expressiveness of MSO transducers is recovered using a simple syntactic restriction; iii) it has good algorithmic/closure properties: the model is closed under composition with a unambiguous one-way letter-to-letter transducer which gives closure under regular look-around, and has a decidable equivalence problem

Bi-Polaron and N-Polaron Binding Energies

The binding of polarons, or its absence, is an old and subtle topic. Here we prove two things rigorously. First, the transition from many-body collapse to the existence of a thermodynamic limit for N polarons occurs precisely at U=2\alpha, where U is the electronic Coulomb repulsion and \alpha is the polaron coupling constant. Second, if U is large enough, there is no multi-polaron binding of any kind. Considering the known fact that there is binding for some U>2\alpha, these conclusions are not obvious and their proof has been an open problem for some time.Comment: 4 page

Modular Descriptions of Regular Functions

We discuss various formalisms to describe string-to-string transformations. Many are based on automata and can be seen as operational descriptions, allowing direct implementations when the input scanner is deterministic. Alternatively, one may use more human friendly descriptions based on some simple basic transformations (e.g., copy, duplicate, erase, reverse) and various combinators such as function composition or extensions of regular operations.Comment: preliminary version appeared in CAI 2019, LNCS 1154

The Influence of Social Comparison on Visual Representation of One's Face

Can the effects of social comparison extend beyond explicit evaluation to visual self-representation—a perceptual stimulus that is objectively verifiable, unambiguous, and frequently updated? We morphed images of participants' faces with attractive and unattractive references. With access to a mirror, participants selected the morphed image they perceived as depicting their face. Participants who engaged in upward comparison with relevant attractive targets selected a less attractive morph compared to participants exposed to control images (Study 1). After downward comparison with relevant unattractive targets compared to control images, participants selected a more attractive morph (Study 2). Biased representations were not the products of cognitive accessibility of beauty constructs; comparisons did not influence representations of strangers' faces (Study 3). We discuss implications for vision, social comparison, and body image

Froehlich Polaron and Bipolaron: Recent Developments

It is remarkable how the Froehlich polaron, one of the simplest examples of a Quantum Field Theoretical problem, as it basically consists of a single fermion interacting with a scalar Bose field of ion displacements, has resisted full analytical or numerical solution at all coupling since 1950, when its Hamiltonian was first written. The field has been a testing ground for analytical, semi-analytical, and numerical techniques, such as path integrals, strong-coupling perturbation expansion, advanced variational, exact diagonalisation (ED), and quantum Monte Carlo (QMC) techniques. This article reviews recent developments in the field of continuum and discrete (lattice) Froehlich (bi)polarons starting with the basics and covering a number of active directions of research.Comment: 131 pages, 17 figures, 409 references, appear in Reports on Progress in Physic

LaTeX to XML/MathML

The objective of this workshop was to show what it takes to translate LaTeX sources to XML in general and LaTeX mathematics into MathML in particular. In addition, it aimed at reviewing backward translations from XML and MathML into TeX and LaTeX. Many of the details can be found in The LaTeX Web Companion.</p